Formal frameworks for workflow modelling
نویسندگان
چکیده
We survey formal frameworks for workflow modelling. We summarise important aspects of workflow management and approaches to evaluate current workflow management systems. We discuss a number of formalisms for workflow modelling, namely Petri nets, Temporal Logic, and Transaction Logic. We decribe how these formalisms are used specifically for workflow modelling, their possibilities and their disadvantages.
منابع مشابه
CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets
Although crowdsourcing has been proven efficient as a mechanism to solve independent tasks for on-line production, it is still unclear how to define and manage workflows in complex tasks that require the participation and coordination of different workers. Despite the existence of different frameworks to define workflows, we still lack a commonly accepted solution that is able to describe the m...
متن کاملThe Application of Activity Theory to Dynamic Workflow Adaptation Issues
Workflow Management Systems (WfMSs) are implemented to support the modelling, analysis and enactment of rigidly structured business processes. However, they typically have difficulty supporting unexpected or developmental change occurring in the work practices they model, and are unable to provide adequate support for exceptions, or deviations from the process model, even though such deviations...
متن کاملGeneric Business Frameworks and Action Modeling
The communicative action perspective of business processes and information systems has attracted much attention recently. A viable approach in this area is: Action Workflow. This paper investigates the use of Action Workflow as a generic business framework, relating it to the alternative Business as Action game Theory. The latter provides a more exhaustive description of various business action...
متن کاملTowards Real-Scale Business Transaction Workflow Modelling
While the specification languages of workflow management systems focus on process execution semantics, the successful development of workflows relies on a fuller conceptualisation of business processing, including process semantics. For this, a wellspring of modelling techniques, paradigms and informal-formal method extensions which address the analysis of organisational processing structures (...
متن کاملA Formal Semantics for UML Activity Diagrams ~ Formalising Workflow Models
In this report we define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our workflow models express software requirements and therefore assume a perfect implementation. In our semantics, software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with dat...
متن کامل